finite state system造句
例句與造句
- a verification method for finite states systems based on temporal logic
一種基于時(shí)態(tài)邏輯的有限狀態(tài)系統(tǒng)驗(yàn)證方法 - abstract model checking is an important method of verifying logic properties of finite state systems, and also a supplement to the shortage of software testing
摘要模型檢測(cè)是一種對(duì)有限狀態(tài)變遷系統(tǒng)驗(yàn)證其時(shí)態(tài)邏輯性質(zhì)的重要方法，可以彌補(bǔ)測(cè)試技術(shù)的不足。 - statechart is used to model a complex software system and it adds communication and inherit mechanism based on finite state system . many tools such as unified model language which is used in software analysis and design have accepted this concept . using statechart to model a system may avoid state explosion problem during software analysis and design process, but when it goes to test a system, the problem still exists
狀態(tài)圖是在為一個(gè)復(fù)雜反應(yīng)系統(tǒng)的控制需求建模時(shí)提出的，harel在狀態(tài)機(jī)的基礎(chǔ)上，增加了通信、并發(fā)和嵌套機(jī)制，提出了適合于描述復(fù)雜系統(tǒng)的狀態(tài)圖，很多面向?qū)ο蟮姆治鲈O(shè)計(jì)工具都采用了狀態(tài)圖的概念，例如統(tǒng)一建模語言(uml)。 - It's difficult to find finite state system in a sentence. 用finite state system造句挺難的